A Verification-Aware Design Methodology for Thread Pipelining Parallelization
نویسندگان
چکیده
منابع مشابه
A Verification-Aware Design Methodology for Thread Pipelining Parallelization
This paper proposes a verification-aware design methodology that provides developers with a systematic and reliable approach to performing thread-pipelining parallelization on sequential programs. In contrast to traditional design flow, a behavior-model program is constructed before parallelizing as a bridge to help developers gradually leverage the technique of thread-pipelining parallelizatio...
متن کاملJavaSpMT: A Speculative Thread Pipelining Parallelization Model for Java Programs
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism on a shared-memory multiprocessor system. The parallelization model, called Java Speculative MultiThreading (JavaSpMT), combines control speculation with run-time dependence checking to parallelize a wide variety of l...
متن کاملPerfect Pipelining: A New Loop Parallelization Technique
Parallelizing compilers do not handle loops in a satisfactory manner. Fine-grain transformations capture irregular parallelism inside a loop body not amenable to coarser approaches but have limited ability to exploit parallelism across iterations. Coarse methods sacriice irregular forms of parallelism in favor of pipelining (overlapping) iterations. In this paper we present a new transformation...
متن کاملProgram Parallelization Using Synchronized Pipelining
While there are well-understood methods for detecting loops whose iterations are independent and parallelizing them, there are comparatively fewer proposals that support parallel execution of a sequence of loops or nested loops in the case where such loops have dependencies among them. This paper introduces a refined notion of independence, called eventual independence, that in its simplest for...
متن کاملWorkflow Parallelization by Data Partition and Pipelining
This paper first introduces a workflow parallelization strategy, based on a set of clearly defined heuristics, including data partition and a variation of pipelining. Then, the paper outlines an architecture for a workflow manager, based on Web services, that incorporates the heuristics. Finally, the paper reports on the current status of the implementation of the workflow manager.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Information and Systems
سال: 2012
ISSN: 0916-8532,1745-1361
DOI: 10.1587/transinf.e95.d.2505